Modelling with LISA- A Powerful Machine Description Language
نویسندگان
چکیده
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design implementation. The LISA processor design platform (LPDP) based on machine descriptions in the LISA language provides one common environment for these design phases. Required software tools for architecture exploration and application development can be generated from one sole specification. This paper focuses on the implementation phase and the generation of synthesizable HDL code from a LISA model. Keywords-LISA, Architecture exploration, machine description languages.
منابع مشابه
A Review on Modelling of the Maximum Lagging Current Test Method of Salient Pole Synchronous Machines
Quadrature-axis reactance for various reasons comes into account as one of the most important parameters of salient pole synchronous machine. There are several common standard methods for measuring this parameter that also have been explained with some details in the standards, scientific papers and text books. One of these methods is the maximum lagging current test that is done simply at no-l...
متن کاملLISA { Machine Description Language for Cycle - Accurate Models ofProgrammable DSP
{ This paper presents the machine description language LISA for the generation of bit-and cycle accurate models of DSP processors. Based on a behavioral operation description, the architectural details and pipeline operations of modern DSP processors can be covered. Beyond the behavioral model, LISA descriptions include other architecture-related information like the instruction set. The inform...
متن کاملLeon Processor Architecture Implementation with LISA
This paper presents the machine description language LISA for the generation of bit and cycle accurate models of LEON processors. Depending on a behavioral operation description, the architectural specification and pipeline operations of modern LEON processors can be successfully implemented. The behavioral model LISA of includes other architecture related information like the instruction set. ...
متن کاملModelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
We demonstrate how the DSD programming language can be used to design a DNA stack machine and to analyse its behaviour. Stack machines are of interest because they can efficiently simulate a Turing machine. We extend the semantics of the DSD language to support operations on DNA polymers and use our stack machine design to implement a non-trivial example: a ripple carry adder which can sum two ...
متن کاملA survey on modeling issues using the machine description language LISA
This paper presents a survey on modeling issues of programmable architectures using the machine description language LISA. Various architectures presenting diverse architectural characteristics will be presented and the feasibility of automatically generating simulator, assembler, linker and graphical debugger frontend will be discussed. The presented approach is not limited to a fixed abstract...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013